Results for 'Ashley B. Lyons'

935 found
Order:
  1. (1 other version)Unencapsulated Modules and Perceptual Judgment.Jack C. Lyons - 2015 - In A. Raftopoulos J. Zeimbekis (ed.), Cognitive Penetrability. Oxford University Press. pp. 103-122.
    To what extent are cognitive capacities, especially perceptual capacities, informationally encapsulated and to what extent are they cognitively penetrable? And why does this matter? Two reasons we care about encapsulation/penetrability are: (a) encapsulation is sometimes held to be definitional of modularity, and (b) penetrability has epistemological implications independent of modularity. I argue that modularity does not require encapsulation; that modularity may have epistemological implications independently of encapsulation; and that the epistemological implications of the cognitive penetrability of perception are messier than (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  2. Minimal model explanations of cognition.Nick Brancazio & Russell Meyer - 2023 - European Journal for Philosophy of Science 13 (41):1-25.
    Active materials are self-propelled non-living entities which, in some circumstances, exhibit a number of cognitively interesting behaviors such as gradient-following, avoiding obstacles, signaling and group coordination. This has led to scientific and philosophical discussion of whether this may make them useful as minimal models of cognition (Hanczyc, 2014; McGivern, 2019). Batterman and Rice (2014) have argued that what makes a minimal model explanatory is that the model is ultimately in the same universality class as the target system, which underpins why (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Estabelecimento da Gestação nos Animais.Emanuel Isaque Cordeiro da Silva - manuscript
    OBJETIVO A gestação nos mamíferos domésticos é um processo fisiológico que implica mudanças físicas, metabólicas e hormonais na fêmea, que culminam com o nascimento de um novo indivíduo. Desta forma, a compreensão de tais mudanças e como estas favorecem um ambiente ideal de desenvolvimento embrionário inicial, até a placentação e a fisiologia envolvidas durante esses processos é fundamental na tomada de decisões quanto à saúde reprodutiva da fêmea, na seleção de futuras matrizes e até mesmo para a saúde fetal e (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Panorama Histórico dos Problemas Filosóficos.Emanuel Isaque Cordeiro da Silva - manuscript
    Antes de entrar cuidadosamente no estudo de cada filósofo, em suas respectivas ordens cronológicas, é necessário dar um panorama geral sobre eles, permitindo, de relance, a localização deles em tempos históricos e a associação de seus nomes com sua teoria ou tema central. l. OS FILÓSOFOS PRÉ-SOCRÁTICOS - No sétimo século antes de Jesus Cristo, nasce o primeiro filósofo grego: Tales de Mileto2 . Ele e os seguintes filósofos jônicos (Anaximandro: Ἀναξίμανδρος: 3 610-546 a.C.) e Anaxímenes: (Άναξιμένης: 586-524 a.C.) tentaram (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Improvisation and the self-organization of multiple musical bodies.Ashley E. Walton, Michael J. Richardson, Peter Langland-Hassan & Anthony Chemero - 2015 - Frontiers in Psychology 6:1-9.
    Understanding everyday behavior relies heavily upon understanding our ability to improvise, how we are able to continuously anticipate and adapt in order to coordinate with our environment and others. Here we consider the ability of musicians to improvise, where they must spontaneously coordinate their actions with co-performers in order to produce novel musical expressions. Investigations of this behavior have traditionally focused on describing the organization of cognitive structures. The focus, here, however, is on the ability of the time-evolving patterns of (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  6. Making sense of powerful qualities.Ashley Coates - 2021 - Synthese 198 (9):8347-8363.
    According to the powerful qualities view, properties are both powerful and qualitative. Indeed, on this view the powerfulness of a property is identical to its qualitativity. Proponents claim that this view provides an attractive alternative to both the view that properties are pure powers and the view that they are pure qualities. It remains unclear, however, whether the claimed identity between powerfulness and qualitativity can be made coherent in a way that allows the powerful qualities view to constitute this sort (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  7. Desire and What It’s Rational to Do.Ashley Shaw - 2021 - Australasian Journal of Philosophy 99 (4):761-775.
    It is often taken for granted that our desires can contribute to what it is rational for us to do. This paper examines an account of desire—the ‘guise of the good’— that promises an explanation of this datum. I argue that extant guise-of-the-good accounts fail to provide an adequate explanation of how a class of desires—basic desires—contributes to practical rationality. I develop an alternative guise-of-the-good account on which basic desires attune us to our reasons for action in virtue of their (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  8. The primitivist response to the inference problem.Ashley Coates - forthcoming - Dialectica.
    While the inference problem is widely thought to be one of the most serious problems facing non-Humean accounts of laws, Jonathan Schaffer has argued that a primitivist response straightforwardly dissolves the problem. On this basis, he claims that the inference problem is really a pseudo-problem. Here I clarify the prospects of a primitivist response to the inference problem and their implications for the philosophical significance of the problem. I argue both that it is a substantial question whether this sort of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. The Necessity of 'Need'.Ashley Shaw - 2023 - Ethics 133 (3):329-354.
    Many philosophers have suggested that claims of need play a special normative role in ethical thought and talk. But what do such claims mean? What does this special role amount to? Progress on these questions can be made by attending to a puzzle concerning some linguistic differences between two types of 'need' sentence: one where 'need' occurs as a verb, and where it occurs as a noun. I argue that the resources developed to solve the puzzle advance our understanding of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Essence and the inference problem.Ashley Coates - 2021 - Synthese 198 (2):915-931.
    Discussions about the nature of essence and about the inference problem for non-Humean theories of nomic modality have largely proceeded independently of each other. In this article I argue that the right conclusions to draw about the inference problem actually depend significantly on how best to understand the nature of essence. In particular, I argue that this conclusion holds for the version of the inference problem developed and defended by Alexander Bird. I argue that Bird’s own argument that this problem (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  11. Urges.Ashley Shaw - 2024 - Philosophical Review 133 (2):151–191.
    Experiences of urges, impulses, or inclinations are among the most basic elements in the practical life of conscious agents. This article develops a theory of urges and their epistemology. The article motivates a tripartite framework that distinguishes urges, conscious experiences of urges, and exercises of capacities that agents have to control their urges. The article elaborates the elements of the tripartite framework, in particular, the phenomenological contribution of motor imagery. It argues that experiences of urges and exercises of control over (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Desire and Satisfaction.Ashley Shaw - 2020 - Philosophical Quarterly 71 (4):pqz071.
    Desire satisfaction has not received detailed philosophical examination. Yet intuitive judgments about the satisfaction of desires have been used as data points guiding theories of desire, desire content, and the semantics of ‘desire’. This paper examines desire satisfaction and the standard propositional view of desire. Firstly, I argue that there are several distinct concepts of satisfaction. Secondly, I argue that separating them defuses a difficulty for the standard view in accommodating desires that Derek Parfit described as ‘implicitly conditional on their (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Essence, Triviality, and Fundamentality.Ashley Coates - 2022 - Canadian Journal of Philosophy 52 (5):502-516.
    I defend a new account of constitutive essence on which an entity’s constitutively essential properties are its most fundamental, nontrivial necessary properties. I argue that this account accommodates the Finean counterexamples to classic modalism about essence, provides an independently plausible account of constitutive essence, and does not run into clear counterexamples. I conclude that this theory provides a promising way forward for attempts to produce an adequate nonprimitivist, modalist account of essence. As both triviality and fundamentality in the account are (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. The meta-grounding theory of powerful qualities.Ashley Coates - 2023 - Philosophical Studies 180 (8):2309-2328.
    A recent, seemingly appealing version of the powerful qualities view defines properties’ qualitativity via an essentialist claim and their powerfulness via a grounding claim. Roughly, this approach holds that properties are qualities because they have qualitative essences, while they are powerful because their instances or essences ground causal-modal facts. I argue that this theory should be replaced with one that defines the powerfulness of qualities in terms of both a grounding claim and a ‘meta-grounding’ claim. Specifically, I formulate and defend (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Safeguarding the Epistemic Agency of Intellectually Disabled Learners.Ashley Taylor & Kevin McDonough - 2021 - Philosophy of Education 77 (1):24-41.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. The grounding conception of governance.Ashley Coates - forthcoming - Ergo: An Open Access Journal of Philosophy.
    According to the governing conception of the laws of nature, laws, in some sense, determine concrete goings-on. Just how to understand the sort of determination at play in governance is, however, a substantial question. One potential answer to this question, which has recently received some attention, is that laws govern by grounding what happens in the concrete world. If this account succeeded, it would show that governance can be understood in terms of an independently motivated and widely accepted notion. Thus (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Unmanifested powers and universals.Ashley Coates - 2022 - Synthese 200 (2):1-22.
    According to a well-known argument against dispositional essentialism, the nature of unmanifested token powers leaves dispositional essentialists with an objectionable commitment to the reality of non-existent entities. The idea is that, because unmanifested token powers are directed at their non-existent token manifestations, they require the reality of those manifestations. Arguably the most promising response to this argument works by claiming that, if properties are universals, dispositional directedness need only entail the reality of actually existing manifestation types. I argue that this (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Events and the regress of pure powers: Reply to Taylor.Ashley Coates - 2022 - Analysis 82 (4):647-654.
    Taylor has recently argued that adopting either the standard Kimian or Davidsonian approaches to the metaphysics of events quite directly solves the regress of pure powers. I argue, though, that on closer inspection Taylor’s proposal does not succeed, given either the Kimian or the Davidsonian account of events.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Do affective desires provide reasons for action?Ashley Shaw - 2020 - Ratio 34 (2):147-157.
    This paper evaluates the claim that some desires provide reasons in virtue of their connection with conscious affective experiences like feelings of attraction or aversion. I clarify the nature of affective desires and several distinct ways in which affective desires might provide reasons. Against accounts proposed by Ruth Chang, Declan Smithies and Jeremy Weiss, I motivate doubts that it is the phenomenology of affective experiences that explains their normative or rational significance. I outline an alternative approach that centralises the function (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  92
    Sentience, communal relations and moral status.Ashley Coates - forthcoming - Environmental Ethics.
    Thaddeus Metz has developed and defended a “modal-relational” account of moral status based on his interpretation of salient Sub-Saharan African values. Roughly, on this account, a being has moral status to the degree that it can enter into friendly or communal relationships with characteristic human beings. In this paper, it is argued that this theory’s true significance for environmental ethics has thus far not been recognized. Metz’s own view is that the theory entails that only sentient beings have moral status. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Focus on slurs.Poppy Mankowitz & Ashley Shaw - 2023 - Mind and Language 38 (3):693-710.
    Slurring expressions display puzzling behaviour when embedded, such as under negation and in attitude and speech reports. They frequently appear to retain their characteristic qualities, like offensiveness and propensity to derogate. Yet it is sometimes possible to understand them as lacking these qualities. A theory of slurring expressions should explain this variability. We develop an explanation that deploys the linguistic notion of focus. Our proposal is that a speaker can conversationally implicate metalinguistic claims about the aptness of a focused slurring (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  50
    Powerful Qualities, Phenomenal Properties and AI.Ashley Coates - 2023 - In William A. Bauer & Anna Marmodoro (eds.), Artificial Dispositions: Investigating Ethical and Metaphysical Issues. New York: Bloomsbury. pp. 169-192.
    “Strong AI” is the view that it is possible for an artificial agent to be mentally indistinguishable from human agents. Because the behavioral dispositions of artificial agents are determined by underlying dispositional systems, Strong AI seems to entail human behavioral dispositions are also determined by dispositional systems. It is, however, highly intuitive that non-dispositional, phenomenal properties, such as being in pain, at least partially determine certain human behavioral dispositions, like the disposition to take a pain killer. Consequently, Strong AI seems (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Scientific Realism and the Pessimistic Meta-Modus Tollens.Timothy D. Lyons - 2010 - In S. Clarke & T. D. Lyons (eds.), Recent Themes in the Philosophy of Science: Scientific Realism and Commonsense. Dordrecht: Springer. pp. 63-90.
    Broadly speaking, the contemporary scientific realist is concerned to justify belief in what we might call theoretical truth, which includes truth based on ampliative inference and truth about unobservables. Many, if not most, contemporary realists say scientific realism should be treated as ‘an overarching scientific hypothesis’ (Putnam 1978, p. 18). In its most basic form, the realist hypothesis states that theories enjoying general predictive success are true. This hypothesis becomes a hypothesis to be tested. To justify our belief in the (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  24. Ethics and the Emotions: An Introduction to the Special Issue.Ashley Shaw & Maria Baghramian - 2022 - International Journal of Philosophical Studies 30 (3):193-201.
    This introduction provides brief outlines of the articles collected in this special issue of the International Journal of Philosophical Studies on the topic of Ethics and Emotions. It also announces the winners of the 2021 Robert Papazian and PERITIA prizes.
    Download  
     
    Export citation  
     
    Bookmark  
  25. Circularity, reliability, and the cognitive penetrability of perception.Jack Lyons - 2011 - Philosophical Issues 21 (1):289-311.
    Is perception cognitively penetrable, and what are the epistemological consequences if it is? I address the latter of these two questions, partly by reference to recent work by Athanassios Raftopoulos and Susanna Seigel. Against the usual, circularity, readings of cognitive penetrability, I argue that cognitive penetration can be epistemically virtuous, when---and only when---it increases the reliability of perception.
    Download  
     
    Export citation  
     
    Bookmark   97 citations  
  26. Algorithm and Parameters: Solving the Generality Problem for Reliabilism.Jack C. Lyons - 2019 - Philosophical Review 128 (4):463-509.
    The paper offers a solution to the generality problem for a reliabilist epistemology, by developing an “algorithm and parameters” scheme for type-individuating cognitive processes. Algorithms are detailed procedures for mapping inputs to outputs. Parameters are psychological variables that systematically affect processing. The relevant process type for a given token is given by the complete algorithmic characterization of the token, along with the values of all the causally relevant parameters. The typing that results is far removed from the typings of folk (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  27. The Structure of Defeat: Pollock's Evidentialism, Lackey's Framework, and Prospects for Reliabilism.Peter J. Graham & Jack C. Lyons - 2021 - In Jessica Brown & Mona Simion (eds.), Reasons, Justification, and Defeat. Oxford Oxford: Oxford University Press.
    Epistemic defeat is standardly understood in either evidentialist or responsibilist terms. The seminal treatment of defeat is an evidentialist one, due to John Pollock, who famously distinguishes between undercutting and rebutting defeaters. More recently, an orthogonal distinction due to Jennifer Lackey has become widely endorsed, between so-called doxastic (or psychological) and normative defeaters. We think that neither doxastic nor normative defeaters, as Lackey understands them, exist. Both of Lackey’s categories of defeat derive from implausible assumptions about epistemic responsibility. Although Pollock’s (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  28. Scientific Realism.Timothy D. Lyons - 2014 - In Paul Humphreys (ed.), The Oxford Handbook of Philosophy of Science. New York, NY, USA: Oxford University Press. pp. 564-584.
    This article endeavors to identify the strongest versions of the two primary arguments against epistemic scientific realism: the historical argument—generally dubbed “the pessimistic meta-induction”—and the argument from underdetermination. It is shown that, contrary to the literature, both can be understood as historically informed but logically validmodus tollensarguments. After specifying the question relevant to underdetermination and showing why empirical equivalence is unnecessary, two types of competitors to contemporary scientific theories are identified, both of which are informed by science itself. With the (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  29. Scientific realism and the stratagema de divide et impera.Timothy D. Lyons - 2006 - British Journal for the Philosophy of Science 57 (3):537-560.
    In response to historical challenges, advocates of a sophisticated variant of scientific realism emphasize that theoretical systems can be divided into numerous constituents. Setting aside any epistemic commitment to the systems themselves, they maintain that we can justifiably believe those specific constituents that are deployed in key successful predictions. Stathis Psillos articulates an explicit criterion for discerning exactly which theoretical constituents qualify. I critique Psillos's criterion in detail. I then test the more general deployment realist intuition against a set of (...)
    Download  
     
    Export citation  
     
    Bookmark   77 citations  
  30. Should Reliabilists Be Worried About Demon Worlds?Jack C. Lyons - 2012 - Philosophy and Phenomenological Research 86 (1):1-40.
    The New Evil Demon Problem is supposed to show that straightforward versions of reliabilism are false: reliability is not necessary for justification after all. I argue that it does no such thing. The reliabilist can count a number of beliefs as justified even in demon worlds, others as unjustified but having positive epistemic status nonetheless. The remaining beliefs---primarily perceptual beliefs---are not, on further reflection, intuitively justified after all. The reliabilist is right to count these beliefs as unjustified in demon worlds, (...)
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  31. Perception and Intuition of Evaluative Properties.Jack C. Lyons - 2018 - In Anna Bergqvist & Robert Cowan (eds.), Evaluative Perception. Oxford, United Kingdom: Oxford University Press.
    Outside of philosophy, ‘intuition’ means something like ‘knowing without knowing how you know’. Intuition in this broad sense is an important epistemological category. I distinguish intuition from perception and perception from perceptual experience, in order to discuss the distinctive psychological and epistemological status of evaluative property attributions. Although it is doubtful that we perceptually experience many evaluative properties and also somewhat unlikely that we perceive many evaluative properties, it is highly plausible that we intuit many instances of evaluative properties as (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  32. Refining Labelled Systems for Modal and Constructive Logics with Applications.Tim Lyon - 2021 - Dissertation, Technischen Universität Wien
    This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Explaining the Success of a Scientific Theory.Timothy D. Lyons - 2003 - Philosophy of Science 70 (5):891-901.
    Scientific realists have claimed that the posit that our theories are (approximately) true provides the best or the only explanation for their success . In response, I revive two non-realists explanations. I show that realists, in discarding them, have either misconstrued the phenomena to be explained or mischaracterized the relationship between these explanations and their own. I contend nonetheless that these non-realist competitors, as well as their realist counterparts, should be rejected; for none of them succeed in explaining a significant (...)
    Download  
     
    Export citation  
     
    Bookmark   69 citations  
  34. Display to Labeled Proofs and Back Again for Tense Logics.Agata Ciabattoni, Tim Lyon, Revantha Ramanayake & Alwen Tiu - 2021 - ACM Transactions on Computational Logic 22 (3):1-31.
    We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Inferentialism and cognitive penetration of perception.Jack C. Lyons - 2016 - Episteme 13 (1):1-28.
    Cognitive penetration of perception is the idea that what we see is influenced by such states as beliefs, expectations, and so on. A perceptual belief that results from cognitive penetration may be less justified than a nonpenetrated one. Inferentialism is a kind of internalist view that tries to account for this by claiming that some experiences are epistemically evaluable, on the basis of why the perceiver has that experience, and the familiar canons of good inference provide the appropriate standards by (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  36. Unconscious Evidence.Jack Lyons - 2016 - Philosophical Issues 26 (1):243-262.
    Can beliefs that are not consciously formulated serve as part of an agent's evidence for other beliefs? A common view says no, any belief that is psychologically immediate is also epistemically immediate. I argue that some unconscious beliefs can serve as evidence, but other unconscious beliefs cannot. Person-level beliefs can serve as evidence, but subpersonal beliefs cannot. I try to clarify the nature of the personal/subpersonal distinction and to show how my proposal illuminates various epistemological problems and provides a principled (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  37. The Disunity of Perception: An Introduction.Indrek Reiland & Jack Lyons - 2015 - Pacific Philosophical Quarterly 96 (4):443-445.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  38. Toward a Purely Axiological Scientific Realism.Timothy D. Lyons - 2005 - Erkenntnis 63 (2):167-204.
    The axiological tenet of scientific realism, “science seeks true theories,” is generally taken to rest on a corollary epistemological tenet, “we can justifiably believe that our successful theories achieve (or approximate) that aim.” While important debates have centered on, and have led to the refinement of, the epistemological tenet, the axiological tenet has suffered from neglect. I offer what I consider to be needed refinements to the axiological postulate. After showing an intimate relation between the refined postulate and ten theoretical (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  39. Epistemic selectivity, historical threats, and the non-epistemic tenets of scientific realism.Timothy D. Lyons - 2017 - Synthese 194 (9):3203-3219.
    The scientific realism debate has now reached an entirely new level of sophistication. Faced with increasingly focused challenges, epistemic scientific realists have appropriately revised their basic meta-hypothesis that successful scientific theories are approximately true: they have emphasized criteria that render realism far more selective and, so, plausible. As a framework for discussion, I use what I take to be the most influential current variant of selective epistemic realism, deployment realism. Toward the identification of new case studies that challenge this form (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  40. Principlism and Contemporary Ethical Considers in Transgender Health Care.Luke Allen, Noah Adams, Florence Ashley, Cody Dodd, Diane Ehrensaft, Lin Fraser, Maurice Garcia, Simona Giordano, Jamison Green, Thomas Johnson, Justin Penny, Rachlin Katherine & Jaimie Veale - forthcoming - International Journal of Transgender Health.
    Background: Transgender health care is a subject of much debate among clinicians, political commentators, and policy-makers. While the World Professional Association of Transgender Health (WPATH) Standards of Care (SOC) establish clinical standards, these standards contain implied ethics but lack explicit focused discussion of ethical considerations in providing care. An ethics chapter in the SOC would enhance clinical guidelines. Aims: We aim to provide a valuable guide for healthcare professionals, and anyone interested in the ethical aspects of clinical support for gender (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.
    This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  42. Experiential evidence?Jack C. Lyons - 2015 - Philosophical Studies 173 (4):1053-1079.
    Much of the intuitive appeal of evidentialism results from conflating two importantly different conceptions of evidence. This is most clear in the case of perceptual justification, where experience is able to provide evidence in one sense of the term, although not in the sense that the evidentialist requires. I argue this, in part, by relying on a reading of the Sellarsian dilemma that differs from the version standardly encountered in contemporary epistemology, one that is aimed initially at the epistemology of (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  43. Introduction: Scientific Realism and Commonsense.Steve Clarke & Timothy D. Lyons - 2010 - In S. Clarke & T. D. Lyons (eds.), Recent Themes in the Philosophy of Science: Scientific Realism and Commonsense. Dordrecht: Springer.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  44. Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.Tim Lyon, Alwen Tiu, Rajeev Gore & Ranald Clouston - 2020 - In Maribel Fernandez & Anca Muscholl (eds.), 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). pp. 1-16.
    We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  45. Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.Tim Lyon - 2021 - In Anupam Das & Sara Negri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. pp. 409-427.
    We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Response to critics.Jack Lyons - 2011 - Philosophical Studies 153 (3):477-488.
    Response to Horgan, Goldman, and Graham. Part of a book symposium on my _Perception and Basic Beliefs_.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  47. A Historically Informed Modus Ponens Against Scientific Realism: Articulation, Critique, and Restoration.Timothy D. Lyons - 2013 - International Studies in the Philosophy of Science 27 (4):369-392.
    There are two primary arguments against scientific realism, one pertaining to underdetermination, the other to the history of science. While these arguments are usually treated as altogether distinct, P. Kyle Stanford's ‘problem of unconceived alternatives’ constitutes one kind of synthesis: I propose that Stanford's argument is best understood as a broad modus ponens underdetermination argument, into which he has inserted a unique variant of the historical pessimistic induction. After articulating three criticisms against Stanford's argument and the evidence that he offers, (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  48. Pantheism and Atheism in Schelling's Freiheitsschrift.Ashley Vaught - 2010 - In Anthony Paul Smith Daniel Whistler (ed.), After the Postsecular and the Postmodern: New Essays in the Continental Philosophy of Religion. Newcastle upon Tyne: Cambridge Scholars Press. pp. 64-80.
    Download  
     
    Export citation  
     
    Bookmark  
  49. Structural realism versus deployment realism: A comparative evaluation.Timothy D. Lyons - 2016 - Studies in History and Philosophy of Science Part A 59:95-105.
    In this paper I challenge and adjudicate between the two positions that have come to prominence in the scientific realism debate: deployment realism and structural realism. I discuss a set of cases from the history of celestial mechanics, including some of the most important successes in the history of science. To the surprise of the deployment realist, these are novel predictive successes toward which theoretical constituents that are now seen to be patently false were genuinely deployed. Exploring the implications for (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  50. What we talk about when we talk about epistemic justification.Jack C. Lyons - 2016 - Inquiry: An Interdisciplinary Journal of Philosophy 59 (7-8):867-888.
    Stewart Cohen argues that much contemporary epistemological theorizing is hampered by the fact that ‘epistemic justification’ is a term of art and one that is never given any serious explication in a non-tendentious, theory-neutral way. He suggests that epistemologists are therefore better off theorizing in terms of rationality, rather than in terms of ‘epistemic justification’. Against this, I argue that even if the term ‘epistemic justification’ is not broadly known, the concept it picks out is quite familiar, and partly because (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 935